منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملFormal Logic
where the universal (all) has been replaced with an existential (some/exists) then the argument would not be valid. In Ancient Greece, Aristotle exhaustively considered all possible combinations of universals and existentials in syllogisms, allowing also for the possibility of negations, and collected those corresponding to valid inferences in a classification theorem. For many centuries, that ...
متن کاملWhat is “ formal logic ” ?
0. Introduction Many people understand the expression “formal logic” as meaning modern mathematical logic by opposition to traditional logic before the revolution that happened in the second part of the 19 century with Boole, Frege and others. But in fact this expression was created by Kant (see Scholz 1931). Some people like to quote a excerpt of the preface of the second edition of the Critic...
متن کاملInformalizing Formal Logic
This paper discusses how the basic notions of formal logic can be expressed in terms of argumentation and how formal classical (or deductive) reasoning can be captured as a dialectic argumentation process. Classical propositional logical entailment of a formula is understood via the wining arguments between those supporting the formula and arguments supporting its contradictory or negated formu...
متن کاملLogic and Formal Ontology1
Introduction Logic, for Husserl as for his predecessor Bolzano, is a theory of science. Where Bolzano, however, conceives scientific theories very much in Platonistic terms, as collections of propositions existing outside space and time, Husserl defends a theory of science which takes seriously the project of understanding how scientific theories are related to specific sorts of activities of c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1931
ISSN: 0028-0836,1476-4687
DOI: 10.1038/128620a0